Nuprl Definition : lsrc 11,40
source(l) == l.1 
latex

Definitionst.1
FDL editor aliaseslsrc

origin